equivalent definition of a normal subgroup